Termination w.r.t. Q proof of TRS/nontermin/Rubio-innmuladd.trs

Termination w.r.t. Q of the following Term Rewriting System could not be shown:

Q restricted rewrite system:
The TRS R consists of the following rules:

*(X, +(Y, 1)) → +(*(X, +(Y, *(1, 0))), X)
*(X, 1) → X
*(X, 0) → X
*(X, 0) → 0

Q is empty.

↳ QTRS

Q restricted rewrite system:
The TRS R consists of the following rules:

*(X, +(Y, 1)) → +(*(X, +(Y, *(1, 0))), X)
*(X, 1) → X
*(X, 0) → X
*(X, 0) → 0

Q is empty.